%=====================================================================
% Ficha Catolográfica
%=====================================================================

 \vspace*{\fill}
 
 \begin{center}
 	Catalogação da Publicação na Fonte. UFRN / SISBI / Biblioteca Setorial 
 	Especializada do Centro de Ciências Exatas e da Terra - CCET. 
 \end{center}

 \framebox[1.1\width]{
  \small
 \begin{minipage}{380pt}

 %  \begin{singlespace}

    \vspace{10pt}
 
    {\bf \autorFicha} 
   \\

    \tituloFicha\ / \autor. - \local, \ano. \\

       135p. : il. \\
 
      Orientador: \orientador \\

      Tese (Doutorado) - \instituicao. \centro. \departamento. \programa. \\

       1. Métodos formais - Tese.  2. Java Card - Tese. 3.
       Verificação Runtime - Tese. 4. Compilador - Tese. I.
       Musicante, Martin Alejandro. II. Título. \\
       

  
       
       RN/UF/BSE-CCET    \quad\quad\quad\quad\quad\quad\quad
       \quad\quad\quad\quad\quad \quad\quad\quad\quad\quad   CDU: 004.41

%   \end{singlespace}

 \end{minipage}
}
